console.log('Hello Gridea 1')
// var obj=null;
// var As=document.getElementById('topnav').getElementsByTagName('a');
// obj = As[0];
// for(i=1;i<As.length;i++){if(window.location.href.indexOf(As[i].href)>=0)
//     obj=As[i];}
// obj.id='topnav_current'
